definition of limit superior